Cartesian Closure for Stable Categories (draft)
نویسنده
چکیده
Exercises 1.2 (a) Composition in RC is well-defined by representatives. (b) A morphism of RC is invertible ⇐⇒ it is a class of strong equivalences ⇐⇒ its counit is an isomorphism. (c) Objects of RC are isomorphic iff they are equivalent categories. (d) RC/T ' Copt(T ) (?). Rigid comparisons embody an important idea from domain theory: approximation. This must have the property that if X ′ approximates X then [X ′ → Y] approximates [X → Y] and not vice versa as with precomposition with ordinary maps. Considering a stable functor to be given by its trace, we consider the diagram
منابع مشابه
Closure Operators in Exact Completions
In analogy with the relation between closure operators in presheaf toposes and Grothendieck topologies, we identify the structure in a category with finite limits that corresponds to universal closure operators in its regular and exact completions. The study of separated objects in exact completions will then allow us to give conceptual proofs of local cartesian closure of different categories ...
متن کاملCartesian closed stable categories q
The aim of this paper is to establish some Cartesian closed categories which are between the two Cartesian closed categories: SLP (the category of L-domains and stable functions) and DI (the full subcategory of SLP whose objects are all dI-domains). First we show that the exponentials of every full subcategory of SLP are exactly the spaces of stable functions. Then we prove that the full subcat...
متن کاملAn Algebraic Approach to Stable Domains
Day [75] showed that the category of continuous lattices and maps which preserve directed joins and arbitrary meets is the category of algebras for a monad over Set, Sp or Pos, the free functor being the set of filters of open sets. Separately, Berry [78] constructed a cartesian closed category whose morphisms preserve directed joins and connected meets, whilst Diers [79] considered similar fun...
متن کاملTransformations of Discrete Closure Systems
Discrete systems such as sets, monoids, groups are familiar categories. The internal structure of the latter two is defined by an algebraic operator. In this paper we concentrate on discrete systems that are characterized by unary operators; these include choice operators σ, encountered in economics and social theory, and closure operators φ, encountered in discrete geometry and data mining. Be...
متن کاملTwo categories of effective continuous cpos
This paper presents two categories of effective continuous cpos. We define a new criterion on the basis of a cpo as to make the resulting category of consistently complete continuous cpos cartesian closed. We also generalise the definition of a complete set, used as a definition of effective bifinite domains in [HSH02], and investigate what closure results that can be obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003